- countability properties
- Математика: свойства счётности
Универсальный англо-русский словарь. Академик.ру. 2011.
countability properties
Смотреть что такое "countability properties" в других словарях:
Axiom of countability — In mathematics, an axiom of countability is a property of certain mathematical objects (usually in a category) that requires the existence of a countable set with certain properties, while without it such sets might not exist. Important… … Wikipedia
Second-countable space — In topology, a second countable space, also called a completely separable space, is a topological space satisfying the second axiom of countability. A space is said to be second countable if its topology has a countable base. More explicitly,… … Wikipedia
Absoluteness (mathematical logic) — In mathematical logic, a formula is said to be absolute if it has the same truth value in each of some class of structures (also called models). Theorems about absoluteness typically show that each of a large syntactic class of formulas is… … Wikipedia
Separable space — In mathematics a topological space is called separable if it contains a countable dense subset; that is, there exists a sequence { x n } {n=1}^{infty} of elements of the space such that every nonempty open subset of the space contains at least… … Wikipedia
Subspace topology — In topology and related areas of mathematics, a subspace of a topological space X is a subset S of X which is equipped with a natural topology induced from that of X called the subspace topology (or the relative topology, or the induced topology … Wikipedia
Sequential space — In topology and related fields of mathematics, a sequential space is a topological space that satisfies a very weak axiom of countability. Sequential spaces are the most general class of spaces for which sequences suffice to determine the… … Wikipedia
Second-order logic — In logic and mathematics second order logic is an extension of first order logic, which itself is an extension of propositional logic.[1] Second order logic is in turn extended by higher order logic and type theory. First order logic uses only… … Wikipedia
List of general topology topics — This is a list of general topology topics, by Wikipedia page. Contents 1 Basic concepts 2 Limits 3 Topological properties 3.1 Compactness and countability … Wikipedia
physical science, principles of — Introduction the procedures and concepts employed by those who study the inorganic world. physical science, like all the natural sciences, is concerned with describing and relating to one another those experiences of the surrounding… … Universalium
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Pythagoreans and Eleatics — Edward Hussey PYTHAGORAS AND THE EARLY PYTHAGOREANS Pythagoras, a native of Samos, emigrated to southern Italy around 520, and seems to have established himself in the city of Croton. There he founded a society of people sharing his beliefs and… … History of philosophy
